#include <stdio.h>
#include <stdlib.h>
#include <syscall.h>

extern int __yield(unsigned int sys_id, int ret_val);

void __spu_syscall(unsigned int sys_id, int ret_val){
			__yield(sys_id, ret_val);
}


